programming logic proof

英 [ˈprəʊɡræmɪŋ ˈlɒdʒɪk pruːf] 美 [ˈproʊɡræmɪŋ ˈlɑːdʒɪk pruːf]

【计】程序设计逻辑证明

计算机



双语例句

  1. Programming logic and program correctness proof
    程序逻辑和程序正确性推导